Study of the NP-completeness of the compact table problem
نویسندگان
چکیده
The problem of compact tables is to maximise the overlap when building a word that is to include permutations of every given words (all the words being the same length). This problem is shown to be NP-complete in the general case, and some specific restrictions are studied. 1. Presentation of the problem 1.1. Informal description and examples In several fields, it can be helpful to give a compact representation of a two dimensional table. We are interested in the case of random output tables, where the table is used to express the possible outcomes in n different initial conditions, where results can be described qualitatively with several results. These results can be represented several times for a given initial condition (to express discrete probabilities). We shall suppose that the number of possible outcomes (with multiple occurrences counted multiple times) is always the same (it could be 100 for a simplified percentage scheme, for example). This common number is called the amplitude of the table (`). For example, one can have the following table (on the left) where each row corresponds to a different set of initial conditions and each column corresponds to a different result. The numbers correspond to the possible outcomes, i.e. in case A, outcome α happens 30% of the time, outcome β happens 40% of the time and outcome γ happens with a probability of 30%. The same table can also be explicitly expanded (on the right). α β γ δ A 30% 40% 30% 0% B 10% 30% 20% 40% C 10% 0% 60% 30% D 20% 20% 40% 20% 1 2 3 4 5 6 7 8 9 10 A α α α β β β β γ γ γ B α β β β γ γ δ δ δ δ C α γ γ γ γ γ γ δ δ δ D α α β β γ γ γ γ δ δ Now, to find the outcome in, e.g. case B, one can computes a random number between 1 and 10 and directly look into the table for the corresponding result in the ’B’ line. 2000 ACM Subject Classification: 68Q17, 68Q45, 91A90.
منابع مشابه
ON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES
In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...
متن کاملConvergence and quantale-enriched categories
Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) ...
متن کاملOn the NP-Completeness of the Minimum Circuit Size Problem
We study the Minimum Circuit Size Problem (MCSP): given the truth-table of a Boolean function f and a number k, does there exist a Boolean circuit of size at most k computing f? This is a fundamental NP problem that is not known to be NP-complete. Previous work has studied consequences of the NP-completeness of MCSP. We extend this work and consider whether MCSP may be complete for NP under mor...
متن کاملCharacterization of fuzzy complete normed space and fuzzy b-complete set
The present paper introduces the notion of the complete fuzzy norm on a linear space. And, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. Some characterizations of their properties are obtained.
متن کاملBuilding a Multi-Objective Model for Multi-Product Multi-Period Production Planning with Controllable Processing Times: A Real Case Problem
Model building is a fragile and complex process especially in the context of real cases. Each real case problem has its own characteristics with new concepts and conditions. A correct model should have some essential characteristics such as: being compatible with real conditions, being of sufficient accuracy, being logically traceable and etc. This paper discusses how to build an efficient mode...
متن کامل